Publications of Thierry MILLAN
Amal Rochd, Maria Zrikem, Thierry Millan, Christian Percebois, Claude Baron, Abderrahmane Ayadi
SynchroState: A SPEM-based Solution for Synchronizing Activities and Products through State Transitions
The international Arab journal of information technology, 2018, 15 (6), pp.951-961
Utilisation des bases de données orientées graphe comme référentiels de modèles
Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 2017, 35 (6), pp.695-719. ⟨10.3166/tsi.35.695-719⟩
Thierry Millan, Laurent Sabatier, Pierre Bazex, Christian Percebois
NEPTUNE II Une plate-forme pour la vérification et la transformation de modèles
In : Génie Logiciel, GL & IS, Meudon – France, Special issue Une plate-forme pour la vérification et la transformation de modèles, Vol. 85, pp. 30-34, June 2008.
Erwann Poupart, Ali Abou Dib, Louis Féraud, Pierre Bazex, Ileana Ober, Christian Percebois, Thierry Millan
Vers une abstraction d’une famille de DSL
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 81, pp. 24-31, June 2007.
Hervé Leblanc, Thierry Millan, Agusti Canals, Alain Rossignol
Anti-patterns pour la modèlisation des processus de développement
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 77, pp. 11-16, June 2006.
Michelle Sibilla, André Barros De Sales, Philippe Vidal, Thierry Millan, François Jocteur-Monrozier
L’approche Modelware : exploitation des modèles au c¿ur des systèmes – apports et besoins pour la vérification
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 69, pp. 9-16, June 2004.
Gestion de la persistance au travers d’un système objet
In : La lettre Ada, EC2, Vol. -, December 1995.
Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Christian Percebois, Thierry Millan, Claude Baron
Implementing and validating SynchSPEM: A solution for synchronizing activities and products within a software engineering process
International Conference on Multimedia Computing and Systems (ICMCS), Apr 2014, Marrakech, Morocco. ⟨10.1109/ICMCS.2014.6911272⟩
Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Thierry Millan, Christian Percebois, Claude Baron
Towards a Synchronization Model Between Activities and Products Within a Software Development Process (regular paper)
In : IEEE Conference on Computer Applications and Industrial Electronics (ICCAIE 2011), Penang, Malaysia, 04/12/11-07/12/11, IEEExplore digital library, pp. 477-482, December 2011.
Amal Rochd, Maria Zrikem, Abderrahmane Ayadi, Thierry Millan, Christian Percebois, Claude Baron
SynchSPEM: A Synchronization Metamodel Between Activities and Products Within a SPEM-based Software Development Process (regular paper)
In : IEEE Conference on Computer Applications and Industrial Electronics (ICCAIE 2011), Penang, Malaysia, 04/12/11-07/12/11, IEEExplore digital library, pp. 471-476, December 2011.
L’IDM où en est-on ?
In : Journées du GDR GPL, Lille, 09/06/11-10/06/11 (invited speaker).
Cédric Bouhours, Hervé Leblanc, Christian Percebois, Thierry Millan
Detection of Generic Micro-architectures on Models (regular paper)
In : International Conferences on Pervasive Patterns and Applications (PATTERNS 2010), Lisbonne (Portugal), 21/11/10-26/11/10, Ali Beklen, Jorge Ejarque, Wolfgang Gentzsch, Teemu Kanstren, Yong Woo Lee (Eds.), IARIA, (electronic medium), November 2010.
Thierry Millan, Laurent Sabatier, Thanh Thanh Le Thi, Pierre Bazex, Christian Percebois
An OCL extension for checking and transforming UML Models
In : WSEAS – International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2009), Cambridge, United Kingdom, 21/02/09-23/02/09 (invited speaker), WSEAS Press, pp. 144-150, 2009.
Thanh Thanh Le Thi, Pierre Bazex, Thierry Millan
MODELING OF LANGUAGES GRAMMARS IN UML/OCL: APPLYING TO A MODEL DRIVEN SOFTWARE DEVELOPMENT PROCESS
In : International Conference on Theories and Applications of Computer Science (ICTACS 2009), Nha Tra ng Vietnam, 06/02/09-08/02/09, Vol. 46, Dat H. Nguyen, Duc A. Duong, Thu D. Tran, Thuc D. Nguyen, Thuy B. T. Dong (Eds.), Vietnam Academy of Science and Technology, pp. 25-46, February 2009.
Sylvain Rougemaille, Frédéric Migeon, Thierry Millan, Marie-Pierre Gleizes
Methodology Fragments Definition in SPEM for Designing Adaptive Methodology : a First Step
In : Workshop on Agent Oriented Software Engineering (AOSE 2008), Estoril, Portugal, 12/05/08-13/05/08, Springer, pp. 213-224, May 2008.
Thierry Millan, Christian Percebois, Pierre Bazex
NEPTUNE : vers un atelier de manipulation de modèles
In : Workshop OPEES, Paris, 28/06/07-29/06/07.
Hervé Leblanc, Thierry Millan, Agusti Canals, Alain Rossignol
Anti-patterns pour la modèlisation des processus de développement
In : NEPTUNE’2006, Paris, 16/05/06-16/05/06, Pierre Bazex, Agusti Canals , Jean-Claude Rault (Eds.).
URL : http://neptune.irit.fr/Public/AnglaisV2/workshop_2006.html
BibTeXThomas Gely, Thierry Millan, Hervé Leblanc, Cédric Bouhours, Pierre Bazex
Définition dun atelier de validation de modèles
In : Journée KERMETA 2006, Rennes, France, 10/10/06.
Validation of UML Models using OCL
In : Journée de travail trans-régionales, Lausane (Suisse), 25/09/05 (invited speaker).
Thierry Millan, Hervé Leblanc, Ileana Ober, Christian Percebois, Pierre Bazex, Ralph Sobek
Tooling a UML method based on OCL
In : New concepts and technologies for ground system software : Why and How?, Toulouse, 21/11/05-21/11/05, Erwan Poupart (Eds.).
Hervé Leblanc, Thierry Millan, Ileana Ober
Démarche de développement orienté modèles : de la vérification de modèles à l’outillage de la démarche
In : Ingénierie Dirigée par les Modèles, Paris, 30/06/05-01/07/05, Sébastien Gérard, Jean-Marie Favre, Pierre-Alain Müller, Xavier Blanc (Eds.), CEA List – ISBN 2-7261-1284-6, pp. 125-140, June 2005.
Thierry Millan, Christian Percebois, Hervé Leblanc, Pierre Bazex
Instrumenting a UML method based on OCL
In : ICSSEA 2004 – 17th International Conference in Software & Systems Engineering and their Applications, Paris, 30/11/04-02/12/04, GL & IS, 8, rue du parc – 92190 MEUDON, November 2004.
Thierry Millan, Christian Percebois, Hervé Leblanc, Pierre Bazex
Projet NEPTUNE : vérification statique de modèles
In : NEPTUNE 2004 -génie logiciel juin 2004 numéro 69 Vérification de modèles, Paris, 24/06/04, Jean-Claude Rault (Eds.), GL&IS, 8, rue du parc 92190 MEUDON – France, pp. 45-50, June 2004.
Pierre Bazex, Jean-Paul Bodeveix, Christophe Le Camus, Thierry Millan, Christian Percebois
Vérification de modèles UML fondée sur OCL
In : INFORSID, Nancy, 03/06/03-06/06/03, Congrès INFormatique des ORganisations et Systèmes d’Information et de Décision (INFORSID), pp. 185-200, June 2003.
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Christophe Le Camus, Pierre Bazex, Louis Féraud, Ralph Sobek
Extending OCL for verifying UML models consistency
In : Workshop on Consistency Problems in UM- based Software Development in conjonction with the fifth International Conference on the Unified Modelling Language “UML” 2002 “Modelling Languages, Concepts and Tools”, Dresden, Allemagne, 01/10/02, Ludwik Kuzniarz – Gianna Reggio – Jean-Louis Sourrouille – Zbigniew Huzar, pp. 75-91, October 2002.
Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan
Modélisation et transformations de données
In : Journées sur les technologies applicables à la valorisation de données, Toulouse, .
Myriam Lamolle, Thierry Millan, Pierre Bazex, Marc Gonzalez
Garbage Collection in Object Oriented Databases – Optimisation of Unreachable Objects Detection
In : 2nd International Workshop on Computer Science and Information Technologies, Ufa (Russia), 18/09/00-23/09/00, Computer Science and Information Technologies, pp. 38-46, September 2000.
Thierry Millan, Myriam Lamolle, Frédéric Mulatéro
Federated Database Management Systems : An Architecture to Distribute Persistent Data through Heterogeneous Databases
In : 7th European Concurent Engineering Conference : Concurrent Engineering in the Framework of IT Convergence, Leicester (UK), 17/04/00-19/04/00, SCS, The Society for Computer Simulation International, P.O.Box 17900, San Diego, CA 92117, USA, pp. 211-214, April 2000.
Pierre Bazex, Jean-Paul Bodeveix, Louis Féraud, Thierry Millan, Christian Percebois
Data Design and Transformation
In : World Multiconference on Systemics, Cybernetics and Informatics 2000, Orlando (USA), 23/07/00-26/07/00, IIIS, 14269 Lord Barclay Dr., Orlandom FL 32837, USA, pp. 587-592, July 2000.
Thierry Millan, Myriam Lamolle, Frédéric Mulatéro
An Adaptation of our Ada95/O2 Binding to provide Persistence to the Java Language:Sharing and Handling of Data between Heterogeneous Applications Using Persistence
In : Ada-Europe’99 , Santander (Espagne), 07/06/99-11/06/99, Springer-Velag , pp. 320-331, June 1999.
Thierry Millan, Frédéric Mulatéro
Coupling between Languages and Object Oriented Database Management Systems to Exchange Data between Applications developped using Heterogeneous Languages
In : EXPERSYS’98 , Virginia (Etats-Unis), 16/11/98-17/11/98, IIT International , 24, Rue des Mimosas 93460 GOURNAY sur MARNE, pp. 233-239, November 1998.
Thierry Millan, Myriam Lamolle, Frédéric Mulatéro
Design, Share and Re-use of Data and Applications into a Federate Database System
In : 11th International Conference Software & Systems Engineering and their Applications, Paris, 08/12/98-10/12/98, EC2 Developpement , 51-59, Rue le Dru-Rollin94200 IVRY sur SEINE, pp. 1-5, December 1998.
Ada/O2 coupling : a solution for an efficient management of persistence in Ada 83
In : Ada-Europe’96, Montreux, Suisse, -, June 1996.
Modélisation de la persistance Ada au travers d’un Système de Gestion de Bases de Données orienté objet
In : Huitièmes journées internationales du Génie Logiciel, Paris, -, November 1995.
P Telechea, Frédéric Mulatéro, Thierry Millan
Exécution parallèle de transactions concurrentes dans un environnement de bases de données
In : Journées sur le parallélisme de l’IRIT, Toulouse, .
Interface Ada/O2 : Ada persistant et son évolution vers le monde objet
In : Réunion groupe de travail BD Objet, O2-Technology, .
Thierry Millan, Frédéric Mulatéro
Ada and persistance : realization with OODBMS O2
In : Ada Belgium seminary in cooperation with ACM/SIG Ada, Bruxelles, Belgique, ., January 1994.
Frédéric Mulatéro, P Telechea, Thierry Millan
Inter-opérabilité entre SGBD objet : proposition d’une architecture
In : 12th IASTED International conference, Annecy, ., January 1994.
Juan-Carlos Cruellas, Jean-Paul Bodeveix, Thierry Millan, Agusti Canals
The NEPTUNE Technology to verify and to Document Software cOMPONENTS
In : Business Component-Based Software Engineering. Franck Barbier (Eds.) , Kluwer Academic Publishers, Post Office Box 322 – 330 AH Dordrecht – THE NETHERLANDS, pp. 101-118, 2003.
La persistance dans les langages. Application à la persistance en Ada au travers des Systèmes de Gestion de Bases de Données Objets
Master’s Thesis, Université Paul Sabatier, September 1995.
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Pierre Bazex, Louis Féraud
NEPTUNE : Method, Checking and documentation generation for UML application
, NEPTUNE Consortium, 2003.
Les modèles pourquoi faire ?
Présentation orale. September 2011.
Thanh Thanh Le Thi, Thierry Millan, Erwann Poupart, Laurent Sabatier, Jean-Charles Dalbin
Modélisation des langages de programmation et Processus de développement de logiciels
Diffusion scientifique. January 2009.
Christian Percebois, Pierre Bazex, Thierry Millan
NEPTUNE : vers un atelier de manipulation de modèles
Présentation orale. June 2007.
Thierry Millan, Thomas Gely, Christian Percebois, Pierre Bazex
Un atelier pour la vérification et la transformation de modèles
Diffusion scientifique. June 2006.